Biot-Savart law with trigonometric substitution